disjunctively definable predicate

Математика: дизъюнктивно определимый предикат